List of bibliographic references

Number of relevant bibliographic references: 6.

Ident.	Authors (with country if any)	Title
002F92	Olfa Mosbahi [France, Tunisie] ; Jacques Jaray [France]	B événementiel et les propriétés de vivacité
004693	Olfa Mosbahi [France] ; Jacques Jaray [France] ; Samir Ben Ahmed [Tunisie]	Spécification et vérification des propriétés de vivacité en B événementiel
004799	Olfa Mosbahi [France] ; Leila Jemni [Tunisie] ; Jacques Jaray [France]	A Formal Approach for the Development of Automated Systems
005156	Olfa Mosbahi [France] ; Leila Jemni Ben Ayed [Tunisie] ; Jacques Jaray [France]	Formal Development Method of Automated Systems using the Temporal Logic of Actions TLA
005186	Olfa Mosbahi [France] ; Jacques Jaray [France] ; Leila Jemni Ben Ayed [Tunisie]	A Formal Development Method of Control Systems using Event B Approach
007F32	Olfa Mosbahi [Tunisie] ; Leila Jemni Ben Ayed [Tunisie] ; Samir Ben Ahmed [Tunisie] ; Jacques Jaray [France]	A Specification and Validation Technique Based on STATEMATE and FNLOG

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022

	Serveur d'exploration sur la recherche en informatique en Lorraine
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.